Set function - PDFSEARCH.IO - Document Search Engine

Set function
Results: 1102

#	Item
461	20th International Congress on Modelling and Simulation, Adelaide, Australia, 1–6 December 2013 www.mssanz.org.au/modsim2013 Fuzzy Representation and Aggregation of Fuzzy Cognitive Maps Mamoon Obiedat and Sandhya Samar Add to Reading List Source URL: www.mssanz.org.au Language: English - Date: 2013-11-19 22:03:18 Mathematics Fuzzy cognitive map Fuzzy control system Centrality Fuzzy set Membership function Fuzzy logic Logic Mathematical logic
462	HOL Formalised: Semantics R.D. Arthan Lemma 1 Ltd. [removed] 25th October 1993 Add to Reading List Source URL: www.lemma-one.com Language: English - Date: 2014-03-20 12:33:24 Sheaf Function Universe Zermelo–Fraenkel set theory Lambda calculus Constructible universe Mathematics Mathematical logic Algebraic topology
463	Mathematical Case Studies: Finite Combinatorics∗ Rob Arthan [removed] 5 August[removed]Abstract Add to Reading List Source URL: www.lemma-one.com Language: English - Date: 2012-08-05 11:01:45 Finite set Coproduct Binomial coefficient Summation Series Counting Function Mathematics Elementary mathematics Mathematical logic
464	A Decision Procedure for a Sublanguage of Set Theory Involving Monotone, Additive, and Multiplicative Functions. I. The Two-Level Case. Calogero G. Zarba ([removed]) LORIA and INRIA-Lorraine 615, rue du Jardin Botan Add to Reading List Source URL: www.multimedialibrary.com Language: English - Date: 2014-03-05 12:40:27 Logic in computer science Model theory Boolean algebra Boolean satisfiability problem Electronic design automation Interpretation Symbol Function Mathematics Theoretical computer science Mathematical logic
465	Formal Language Theory for Natural Language Processing Shuly Wintner Department of Computer Science University of Haifa Add to Reading List Source URL: www.helsinki.fi Language: English - Date: 2002-07-09 08:11:04 Elementary mathematics Set theory General topology Finite set Cartesian product Set Finitary relation Empty set Function Mathematics Mathematical logic Binary operations
466	Using Answer Set Programming and Lambda Calculus to Characterize Natural Language Sentences with Normatives and Exceptions∗ Chita Baral and Juraj Dzifcak Tran Cao Son Add to Reading List Source URL: www.public.asu.edu Language: English - Date: 2008-11-11 15:26:22 Predicate logic Formal languages Philosophical logic Lambda calculus Combinatory logic First-order logic Categorial grammar Function Quantification Logic Mathematical logic Mathematics
467	Linear and non-linear programming Benjamin Recht March 11, 2005 The Gameplan • Constrained Optimization Add to Reading List Source URL: fab.cba.mit.edu Language: English - Date: 2010-09-15 01:38:56 Mathematics Convex geometry Convexity in economics Mathematical economics Convex optimization Convex function Convex set Nonlinear programming Duality Mathematical optimization Mathematical analysis Convex analysis
468	PDF Document Add to Reading List Source URL: infolab.stanford.edu Language: English - Date: 2008-09-18 21:38:14 Abstract algebra Mathematical structures Elementary algebra Function Boolean algebra Equivalence relation Finite set Algebra of sets Base Mathematics Algebra Algebraic structures
469	A ‘theory’ mechanism for a proof-verifier based on first-order set theory ? Eugenio G. Omodeo1 and Jacob T. Schwartz2 1 2 Add to Reading List Source URL: www.multimedialibrary.com Language: English - Date: 2014-03-05 10:43:38 Functions and mappings Function Axiom schema of replacement First-order logic Equivalence relation Model theory Μ operator Primitive recursive function Mathematics Mathematical logic Logic
470	Die Bewerbungsfristen für das Studium in St Add to Reading List Source URL: www.uni-hamburg.de Language: English - Date: 2013-02-27 05:07:45 Geometry Counterfactual conditional Convex hull Hull Convex function Convex set Convex analysis Mathematical analysis Mathematics

UPDATE